Programming languages - PDFSEARCH.IO - Document Search Engine

Programming languages
Results: 18154

#	Item
161	DSLs in Haskell Ryan Newton Back-end Add to Reading List Source URL: vjovanov.github.io Language: English - Date: 2016-08-07 07:28:53 Software engineering Computer programming Declarative programming Functional languages Functional programming Data types Type theory Compilers Template Haskell Haskell Generalized algebraic data type Metaprogramming
162	ｂｲｵｳｳ･ｬｳＬ＠ＳＰ＠ｏ｣ｴｯ｢･ｲ＠ＲＰＱＵｃｏｓｔ＠ＰＵＵＯＱＵｄｅｃｉｓｉｏｎｓｵ｢ｪ･｣ｴＺ＠ Add to Reading List Source URL: w3.cost.eu Language: English - Date: 2015-11-12 17:02:31 Software engineering Software Type theory Programming language theory Proof assistants Functional languages Formal methods Logic in computer science Formal verification Dependent type Agda Coq
163	Extended Abstract Compiling Links Effect Handlers to the OCaml Backend Daniel Hillerstr¨om Sam Lindley Add to Reading List Source URL: kcsrk.info Language: English - Date: 2016-08-01 08:25:07 Software engineering Computer programming Computing Functional languages Control flow Software design patterns OCaml Monad Exception handling Type system Caml ML
164	Project 5 - The Meta-Circular Evaluator Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-12-02 09:25:33 Software engineering Computer programming Computing Control flow Procedural programming languages Eval Scheme Anonymous function Infinite loop Assignment Conditional Meta-circular evaluator
165	asecondmouse \| Reflections on social science, politics and education Seven reasons I probably can’t help you get my open source software running on your computer Add to Reading List Source URL: philipschrodt.parusanalytics.com Language: English - Date: 2016-02-22 16:54:33 Computing Software engineering Computer programming High-level programming languages Source code Free software Open-source software Software Programmer Python Open-source model Comment
166	November 20, :52 sccsbook Sheet number 7 Page number xiii Add to Reading List Source URL: www.siam.org Language: English - Date: 2009-08-21 09:21:08 Software Application software Mathematical software Array programming languages Textbook MATLAB Charles F. Van Loan
167	JVM Backend and Optimizer in Scala 2.12 Lukas Rytz, Scala Team @ Typesafe Scala 2.12 on one Slide • Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Computing Software engineering Computer programming Object-oriented programming languages Cross-platform software Concurrent programming languages Java platform Functional languages Scala Java virtual machine Foreach loop Java
168	Accepting Blame for Safe Tunneled Exceptions Yizhou Zhang∗ Guido Salvaneschi† Quinn Beightol∗ Barbara Liskov‡ Andrew C. Myers∗ Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2016-05-23 12:46:14 Software engineering Computer programming Computing Object-oriented programming languages Control flow Cross-platform software Concurrent programming languages Java Exception handling Iterator C++ Scala
169	02157 Functional Programming - Sequences Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 17:30:05 Software engineering Programming language theory Computer programming Functional languages Primality tests Procedural programming languages Integer sequences Lazy evaluation Pure Sieve of Eratosthenes ALGOL 68 Functional programming
170	The GPars Quick Reference The Whole GPars Team <> Version 1.2.1, Table of Contents Actor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Add to Reading List Source URL: www.gpars.org Language: English - Date: 2016-04-26 15:35:22 Software engineering Computing Computer programming Object-oriented programming languages Concurrent programming languages Software design patterns Functional languages Scripting languages Clojure Xtend E Closure

UPDATE